#include "log.h"
#include "lib_put_user.h"

#define TEST_ADDR 0xc0008000


int main(void) {
  
  unsigned long int value = 0;

  LOGD("Checking put user exploitability");
  // Just check if we are able to read in kernel space
  if(read_value_at_address(TEST_ADDR, &value) < 0) {
    LOGD("Vuln not present");
    return 0;
  }
  else {
    LOGD("The device appears to be exploitable");
    return 1;
  }

}
